Investigations into the sentential calculus with identity.
نویسندگان
چکیده
منابع مشابه
Investigations on the Dual Calculus
The Dual Calculus, proposed recently by Wadler, is the outcome of two distinct lines of research in theoretical computer science: A. Efforts to extend the Curry-Howard isomorphism, established between the simply-typed lambda calculus and intuitionistic logic, to classical logic. B. Efforts to establish the tacit conjecture that call-by-value reduction in lambda calculus is dual to call-by-name ...
متن کاملAn Automated Derivation of Łukasiewicz's CN from Frege's Sentential Calculus
Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms of the other. Characterizing the inferential equivalences of various formulations of the sentential calculi is foundational. Using an automated deduction system, I show that Łukasiewicz's CN can be derived from Frege's Begriffsschrift, the first sentential calculus ; the proof appears to be novel.
متن کاملThe Effect of Intra-sentential, Inter-sentential and Tag- sentential Switching on Teaching Grammar
The present study examined the comparative effect of different types of code-switching, i.e., intrasentential,inter-sentential, and tag-sentential switching on EFL learners grammar learning andteaching. To this end, a sample of 60 Iranian female and male students in two different institutionsin Qazvin was selected. They were assigned to four groups. Each group was randomly assigned toone of the...
متن کاملInvestigations on a Pedagogical Calculus of Constructions
In the last few years appeared pedagogical propositional natural deduction systems. In these systems, one must satisfy the pedagogical constraint : the user must give an example of any introduced notion. In formal terms, for instance in the propositional case, the main modification is that we replace the usual rule (hyp) by the rule (p-hyp) F ∈ Γ (hyp) Γ ⊢ F F ∈ Γ ⊢ σ · Γ (p-hyp) Γ ⊢ F where σ ...
متن کاملMagentoencephalographic Investigations of Morphological Identity and Irregularity
ABsTRAcr This thesis addresses the longstanding debate in the psycholinguistics literature about the correct way to characterize the psychological status of morphological relatedness and irregular allomorphy. The model argued for here is one in which the mental lexicon consists of lexical roots (sound-meaning pairs that are arbitrary in the Saussurian sense, such as CAT: 'feline'<-*/kmt/) and f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1972
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093890617